1. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
2. Formal concept analysis
پدیدآورنده : / Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
E-BOOK
3. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
4. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
M35
.
I567
1995
5. Intelligent Computer Mathematics
پدیدآورنده : \ [Edited by] Manfred Kerber...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Artificial intelligence -- Mathematics -- Congresses,کامپیوتر -- ریاضیات -- کنگره ها,هوش مصنوعی -- ریاضیات -- کنگره ها
رده :
QA76
.
9
.
M35I58
2015
E-Book
,
6. Intelligent Computer Mathematics
پدیدآورنده : \ [Edited by] Herman Geuvers...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses. ,Artificial intelligence -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,هوش مصنوعی -- ریاضیات -- کنگره ها
رده :
E-Book
,
7. Intelligent Computer Mathematics
پدیدآورنده : \ Michael Kohlhase ... [et.al], (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses,Artificial intelligence -- Mathematics,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,هوش مصنوعی -- ریاضیات
رده :
E-Book
,
8. Intelligent computer mathematics :
پدیدآورنده : Cezary Kaliszyk [and 3 others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer science-- Mathematics, Congresses.,Artificial intelligence-- Mathematics.,Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
C53
2019
9. Intelligent computer mathematics
پدیدآورنده : Johan Jeuring .. [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
A35
2012eb
10. Recent advances in intelligent engineering systems
پدیدآورنده : Janos Fodor, Ryszard Klempous and Carmen Paz Suarez Araujo )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Expert systems )Computer science( Congresses,، Engineering,، Artificial intelligence,، Engineering mathematics,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(,، Appl. Mathematics/Computational Methods of Engineering
رده :
QA
76
.
76
.
E95
R423
2012
